rocksdb-kfreebsd

Forwarded: https://github.com/facebook/rocksdb/pull/6992

# Merged in RocksDB 6.12.6 but not updated into MariaDB yet
From: Andrew Kryczka <andrewkr@fb.com>
Date: Tue, 16 Jun 2020 19:34:21 -0700
# Merged in RocksDB 6.13.fb, but not updated into MariaDB yet
Bug: https://jira.mariadb.org/browse/MDEV-19251
Description:
 Upstream has merged this but we still need to wait for it to be included
 in a RocksDB release and imported into MariaDB and then into Debian.

Gbp-Pq: Name rocksdb-kfreebsd.patch

Change the default optimization from -O3 to -O2 in mysql_release.cmake BUILD_CONFIG profile

Forwarded: no
Bug: https://jira.mariadb.org/browse/MDEV-19734?focusedCommentId=156606&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-156606

Gbp-Pq: Name 0025-Change-the-default-optimization-from-O3-to-O2-in-mys.patch

mariadb (1:11.4.2-4) unstable; urgency=medium

  * Revert move of 'mysqld_safe' to compat package to avoid breaking pdns

[dgit import unpatched mariadb 1:11.4.2-4]

Import mariadb_11.4.2-4.debian.tar.xz

[dgit import tarball mariadb 1:11.4.2-4 mariadb_11.4.2-4.debian.tar.xz]

Import mariadb_11.4.2.orig.tar.gz

[dgit import orig mariadb_11.4.2.orig.tar.gz]